

#include <config.h>
#include <video.h>

#ifndef __KERNEL_H
#  define __KERNEL_H

#  define KPRINT(str) vid_printstr("[kernel] "); vid_println(str);
#  define KPANIC(str) vid_println(">>> Kernel Panic <<< "); vid_println(str);
#  define DEBUG(str) vid_printstr("[kernel-debug] "); vid_println(str);\
  __kernel_panic();

struct __grub_mb_info {

};

void __kernel_panic();

#endif
